Software is a consistent body of knowledge
Software is guaranteed by compiled and automated test results to "maintain logical integrity throughout. mathematics tries to ensure it through the delicate efforts of mathematicians Any other subtle effort body of knowledge that doesn't have automated testing is probably as buggy as software that doesn't have automated testing, because it's the same people doing it. relevance
---
This page is auto-translated from /nishio/ソフトウェアは整合性のある知識体系. If you looks something interesting but the auto-translated English is not good enough to understand it, feel free to let me know at @nishio_en. I'm very happy to spread my thought to non-Japanese readers.